mini-os: Notify shutdown through weak function call instead of wake queue
authorSamuel Thibault <samuel.thibaut@ens-lyon.org>
Wed, 9 Jan 2013 08:43:53 +0000 (08:43 +0000)
committerSamuel Thibault <samuel.thibaut@ens-lyon.org>
Wed, 9 Jan 2013 08:43:53 +0000 (08:43 +0000)
commit4813ceb154c194395dda8c6817e1f06c000470d2
tree9dc921acbd3ffcba03cc929d8f41e251efec0879
parentcc4707100aad115c0f384f576c020c6255e77ffb
mini-os: Notify shutdown through weak function call instead of wake queue

To allow for more flexibility, this notifies domain shutdown through a
function rather than a wake queue, to let the application use a wake
queue only if it wishes.

Signed-off-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
Committed-by: Keir Fraser <keir@xen.org>
extras/mini-os/include/kernel.h
extras/mini-os/kernel.c
extras/mini-os/test.c